Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
381	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2013-06-05 18:24:50 Abstract algebra Number theory Binomial coefficient Permutation Pi Proof that π is irrational Transcendental number Mathematics Combinatorics Integer sequences
382	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science
383	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
384	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
385	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
386	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-10 19:40:43 Probabilistic complexity theory IP Probabilistically checkable proof NP Vector space Soundness MAX-3SAT Algebra Mathematics Theoretical computer science
387	Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis: Add to Reading List Source URL: standefer.weebly.com Language: English - Date: 2014-11-06 15:15:02 Analytic philosophy Analytic philosophers Philosophy of mathematics Metalogic Non-classical logic Proof theory Philosophy of logic Nuel Belnap Alan Ross Anderson Logic Philosophy Philosophical logic
388	A Fundamental Flaw In An Incompleteness Proof By Swierczkowski Add to Reading List Source URL: www.jamesrmeyer.com Language: English - Date: 2015-05-02 09:47:34 Predicate logic Model theory Elementary mathematics Semantics Function Quantification Free variables and bound variables Expression Interpretation Mathematics Logic Mathematical logic
389	Exploring the ways that research, theory, and working hypotheses, can broaden conceptions of mathematics knowing and doing. Jo Boaler, Stanford University. Educational Studies in Mathematics, 2002, 51, 1&2, 3-21 Invited Add to Reading List Source URL: joboaler.com Language: English - Date: 2012-09-19 11:13:25 Knowledge Education reform Mathematical practice Deborah Loewenberg Ball Epistemology Mathematical proof Ethnomathematics Philosophy of mathematics Mathematics Education Mathematics education
390	Lecture Notes on Cubical sets Introduction These are some lecture notes for a course presenting the cubical set model of type theory, first in Copenhagen, December 2014, and then in Paris, FebruaryWe describe a p Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-31 17:02:27 Differential topology Proof theory Symbol Sheaf Mathematics

UPDATE